More from this Author

Programming Languages and Systems

by Chris Hankin (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Semantics, Logics, and Calculi

by Christian W. Probst (Editor), Chris Hankin (Editor), René Rydhof Hansen (Editor)

Static Analysis

by Chris Hankin (Editor), Igor Siveroni (Editor)

Semantics, Logics, and Calculi

by Christian W. Probst (Editor), Chris Hankin (Editor), René Rydhof Hansen (Editor)